Adequate Sets of Temporal Connectives in CTL

Complete Sets of Connectives andComplete

Temporal connectives versus explicit

Some temporal query languages work directly on a timestamp repre sentation of the temporal database while others provide a more implicit access to the ow of time by means of temporal connectives We study the di erences in expressive power between these two approaches We rst consider rst order logic i e the relational calculus We show that rst order future temporal logic is strictly less powerfu...

Temporal Connectives versus Explicit Timestamps in Temporal Query Languages Temporal Connectives versus Explicit Timestamps in Temporal Query Languages

Some temporal query languages work directly on a timestamp representation of the temporal database, while others provide a more implicit access to the ow of time by means of temporal connectives. We study the diier-ences in expressive power between these two approaches. We rst consider rst-order logic (i.e., the relational calculus). We show that rst-order future temporal logic is strictly less...

Presupposition Triggered by Temporal Connectives

This paper 1 deals with presuppositional effects by the temporal discourse markers after and before within a multi-sentence discourse. By presenting data wrt. implicitly expressed causal relations, the proposal by Lascarides and Oberlander (1993) is criticised and a formalisation of the discourse usage of the two temporal connectives is given by extending van der Sandt’s (1992) approach to pres...

Temporal Connectives in a Discourse Context

We examine the role of temporal connectives in multi-sentence discourse. In certain contexts, sentences containing temporal connectives that are equivalent in temporai structure can fail to be equivalent in terms of discourse coherence. We account for this by offering a novel, formal mechanism for accommodating the presuppositions in temporal subordinate clauses. This mechanism encompasses both...